A Novel Rough Net Approach for Rules Representation and Verification
نویسنده
چکیده
Abstract: Rule based systems store knowledge as a set of rules and reason over them to solve problems. A new hype rough net approach for rule generation, representation and reasoning of knowledge-based system using rough sets and Petri nets is presented in this paper. A Rough Petri Net (RPN) is proposed for representing knowledge and formalism for the verification of rule-based systems. The main stages of the proposed approach are: Rules will be first generated and normalized, then transform the normalized rules into a Rough Petri net, and finally we verify these normalized rules. A rough Petri net model (RPN) is presented to represent the rule of a rule-based system in which a rough production rule describes the rough relation between two propositions. An algorithm is presented for checking the consistency of a rough knowledge based via a set of reduction rules that preserve the properties of the RPN.
منابع مشابه
Rough Petri Net Model (RPNM) For knowledge Representation, Rules Generation and Reasoning
Rough Petri nets model (RPNM) for knowledge representation, rule generation, and reasoning is presented in this paper. An algorithm for verifying the consistency of a rough knowledge base through a set of reduction rules that preserve the properties of the RPNM is presented. In addition and based on the RPNM, an efficient algorithm is proposed to perform rough reasoning automatically. Keyword R...
متن کاملA New Approach for Knowledge Based Systems Reduction using Rough Sets Theory (RESEARCH NOTE)
Problem of knowledge analysis for decision support system is the most difficult task of information systems. This paper presents a new approach based on notions of mathematical theory of Rough Sets to solve this problem. Using these concepts a systematic approach has been developed to reduce the size of decision database and extract reduced rules set from vague and uncertain data. The method ha...
متن کاملRough sets theory in site selection decision making for water reservoirs
Rough Sets theory is a mathematical approach for analysis of a vague description of objects presented by a well-known mathematician, Pawlak (1982, 1991). This paper explores the use of Rough Sets theory in site location investigation of buried concrete water reservoirs. Making an appropriate decision in site location can always avoid unnecessary expensive costs which is very important in constr...
متن کاملFormal verification of the correctness in hybrid expert systems
It has been increasingly recognized over recent years that expert systems which combine one or more techniques greatly increase the problem solving capability and help overcome some of the shortcomings associated with any single technique. The verification of these expert systems requires methods which could tackle the multiple knowledge representation paradigms and integrated inference mechani...
متن کاملRule learning: Ordinal prediction based on rough sets and soft-computing
This work promotes a novel point of view in rough set applications: rough sets rule learning for ordinal prediction is based on rough graphical representation of the rules. Our approach tackles two barriers of rule learning. Unlike in typical rule learning, we construct ordinal prediction with a mathematical approach, rough sets, rather than purely rule quality measures. This construction resul...
متن کامل